Free logic - PDFSEARCH.IO - Document Search Engine

Free logic
Results: 431

#	Item
21	Expressive Logical Combinators for Free Pierre Genevès (CNRS) Joint work with Alan Schmitt (Inria) IJCAI, July 30th 2015, Buenos Aires Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-07-29 15:55:34 Logic Theoretical computer science Logic in computer science Mathematics Lambda calculus Formal languages Mathematical logic Syntax Combinatory logic FO Well-formed formula Logic programming
22	Revised JanuaryMM74C922 • MM74C923 16-Key Encoder • 20-Key Encoder General Description The MM74C922 and MM74C923 CMOS key encoders provide all the necessary logic to fully encode an array of Add to Reading List Source URL: dgouarin.free.fr Language: English - Date: 1999-09-05 14:12:46 Digital electronics Electronic circuits Voltage regulation Linear regulator Schmitt trigger
23	Free Theorems for Bidirectional Transformation Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Mathematical logic Mathematics Wellfoundedness Set theory Ordinal numbers Constructible universe Proof theory CurryHoward correspondence Net
24	Types and Type-Free λ-Calculus Dana S. Scott, FBA, FNAS University Professor Emeritus Carnegie Mellon University Visiting Scholar Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2016-06-16 11:50:12 Computability theory Theoretical computer science Mathematical logic Theory of computation Models of computation Formal methods Logic in computer science Lambda calculus Recursively enumerable set -recursive function Denotational semantics Numbering
25	In: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 1996, Lecture Notes in Computer Science 1110, Springer, 1996 ppInvited paper) A Comparative Revisitation of Some Program Tran Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computer programming Software development Programming idioms Computability theory Functional programming Theoretical computer science Logic programming Unfolding Recursion Free variables and bound variables Symbolic computation
26	Decision Tree Complexity, Solvable Groups, and the Distribution of Prime Numbers Joint Work 2010 L´ Add to Reading List Source URL: files.vipulnaik.com Language: English - Date: 2016-08-13 11:33:29 Graph theory Mathematics Discrete mathematics AanderaaKarpRosenberg conjecture Planar graph Graph property Graph Logic of graphs Triangle-free graph
27	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
28	Second-Order Abstract Categorial Grammars Makoto Kanazawa July 28, Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-06-08 00:58:52 Formal languages Grammar Logic Mathematics Regular tree grammar Context-free grammar Formal grammar Terminal and nonterminal symbols Indexed grammar Context-sensitive grammar
29	Decoupling Context-Free Grammar from Gigabit Switches in Boolean Logic Ike Antkare International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:29 Ambient intelligence Ike Actor model
30	An Improved Parser for Data-Oriented Lexical-Functional Analysis Rens Bod Informatics Research Institute, University of Leeds, Leeds LS2 9JT, UK, & Institute for Logic, Language and Computation, University of Amsterdam r Add to Reading List Source URL: www.nclt.dcu.ie Language: English - Date: 2006-07-24 06:56:07 Natural language parsing Statistics Probability Software Data-oriented parsing Lexical functional grammar Stochastic context-free grammar Parsing Dilution of precision Estimator Monte Carlo method SYNTAX

UPDATE